// WITH_RUNTIME
fun foo(bar: Double) {
    0 <= bar && bar <= 10.0<caret>
}